例文The normal basis theorem implies that the first cohomology group of the additive group of " L " will vanish; this is a result on general field extensions, but was known in some form to Richard Dedekind.
